منابع مشابه
Numéro bibliothèque: ThèsedeDoctoratdel’universitéParisVI
The deployment of Self-Organizing Networks (SONs) raises a number of key design issues such as scalability, spontaneity, ease-of-management, adaptability, and dynamicallychanging topologies. In this context, routing is particularly challenging, and requires revisiting important components of the routing architecture/protocol suite, such as, establishing and managing an addressing scheme, provid...
متن کاملLaissez-faire versus Pareto∗
Consider two principles for social evaluation. The first, ‘laissez-faire’, says that mean-preserving redistribution away from laissez-faire incomes should be regarded as a social worsening. This principle captures a key aspect of liberal political philosophy. The second, weak Pareto, states that an increase in each individual’s disposable income should be regarded as a social improvement. We sh...
متن کاملFaire bonne figure avec Mlpost
This article introduces MLPOST, an OCaml library for scientific drawing. It is based on METAPOST, which allows inclusion of LTEX fragments. OCaml is an appealing alternative to LTEX macro languages, dedicated languages and even to graphic tools. In particular, MLPOST users benefit from OCaml’s expressiveness and static typing. Finally, MLPOST features a declarative style, which differs from the...
متن کاملUn modèle de bibliothèque numérique collaborative - ARMARIUS
RÉSUMÉ. Les manuscrits anciens numérisés représentent un contenu spécifique pour les bibliothèques numériques. Les utilisateurs travaillant sur ce type de documents ont besoin de systèmes d’assistance et d’espaces de travail collectif pour interpréter, annoter et transcrire ces manuscrits. Dans cet article, nous présenterons un modèle de bibliothèque numérique spécialement conçu pour des manusc...
متن کاملUne bibliothèque certifiée de programmes fonctionnels BSP
The Bulk-Synchronous Parallel ML (BSML) is a functional language for BSP programming, a model of computing which allows parallel programs to be ported to a wide range of architectures. It is based on an extension of the ML language by parallel operations on a parallel data structure called parallel vector, which is given by intention. We present the certification of a library of BSML programs w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Documentation et bibliothèques
سال: 2011
ISSN: 0315-2340,2291-8949
DOI: 10.7202/1028991ar